theme: Add missing border-radius to the active workspace in the switcher

https://gitlab.gnome.org/GNOME/gnome-shell/issues/2088

diff --git a/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss b/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss
index 6d18289936a679e0949a098d4e4ecee14d566eb1..1c1cd9c77685f4e7103ff19ec316d7157890e62b 100644 (file)
--- a/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss
+++ b/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss
@@ -31,6 +31,7 @@
 .ws-switcher-active-right {
   background-color: $selected_bg_color;
   border: 1px solid if($variant=='light', darken($selected_bg_color, 8%), lighten($selected_bg_color, 5%));
+  border-radius: $base_border_radius + 3px;
   color: $selected_fg_color;
 }